($\lambda$$r$,$b$,$p$,$z$. when $b$. $p$) $\in$ $r$:Rng$\rightarrow\mathbb{B}\rightarrow\mid$$r$$\mid\rightarrow\downarrow$True$\rightarrow\mid$$r$$\mid$